Towards a Linear Logic Based Calculus for Structural Modifications of Petri Nets
نویسنده
چکیده
Object based Petri nets are becoming increasingly popular in many fields of computer science. The possibility to model real-world objects as separate Petri nets supports the need for modular design of complex systems. So far object net approaches have been based on the presumption that the object nets’ structure remains unchanged in all processes. This paper sheds some light on possible extensions of high-level Petri nets to incorporate the dynamic evolution of Petri net structures. The exposition is based on the Linear Logic encoding of Petri nets ([Bro89], [MOM89]) and coloured Petri nets ([Far98b]). It provides a basic semantics for modifying net structures which can be employed in a framework of nets within nets, i.e. situations where Petri nets (so-called token nets) themselves are used as tokens in an underlying environment net.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملScenario analysis of a network of traffic signals designed with Petri nets
The Petri net formalism is a powerful tool to model and analyze discrete event systems. The dynamic behavior of traffic signals is a discrete model and is one of the most important and effective methods of controlling traffic at intersections. In this paper, Petri nets are applied to model a network of intersections and the formal proof is based on the sequent calculus of Linear Logic. The appr...
متن کاملSynthesis of Asynchronous Hardware from Petri Nets
As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call for new approaches in the area of behavioural models. This paper focuses on some of recent developments and new opportunities for Petri nets in designing asynchronous circuits such as synthesis of asynchronous control circuits...
متن کاملScenario durations characterization of t-timed Petri nets using linear logic
The objective of this communication is: • Characterize partial order relations in a scenario – resulting from the structure of the Petri net – resulting from the initial and the final markings (reachability) • Derive an algebraic formulae of the duration of the scenario – how long to go from the initial marking to the final one – a duration is attached to each transition – within the framework ...
متن کاملA Fuzzy Approach to Sequential Failure Analysis Using Petri nets
In highly competitive industrial market, the concept of failure analysis is an unavoidable fact in complex industrial systems. Reliability of such systems not only depends on the reliability of each element of these systems, but also depends on occurrence of sequence of failures. In this paper, a novel approach to sequential failure analysis is proposed which is based upon fuzzy logic and the c...
متن کامل